Формальность И Содержательность Современной Математики